Rational metric doses

Making Metric Temporal Logic Rational

We study an extension of MTL in pointwise time with rational expression guarded modality RatI(re) where re is a rational expression over subformulae. We study the decidability and expressiveness of this extension (MTL+φURatI,reφ+RatI,reφ), called RatMTL, as well as its fragment SfrMTL where only star-free rational expressions are allowed. Using the technique of temporal projections, we show tha...

The Information Metric on Rational Maps

Fixed and coincidence points for hybrid rational Geraghty contractive mappings in ordered $b$-metric spaces

In this paper, we present some fixed and coincidence point theorems for hybrid rational Geraghty contractive mappings in partially ordered $b$-metric spaces. Also, we derive certain coincidence point results for such contractions. An illustrative example is provided here to highlight our findings.

Rational Geraghty Contractive Mappings and Fixed Point Theorems in Ordered $b_2$-metric Spaces

In 2014, Zead Mustafa introduced $b_2$-metric spaces, as a generalization of both $2$-metric and $b$-metric spaces. Then new fixed point results for the classes of  rational Geraghty contractive mappings of type I,II and III in the setup of $b_2$-metric spaces are investigated. Then, we prove some fixed point theorems under various contractive conditions in partially ordered $b_2$-metric spaces...

Rational points near manifolds and metric Diophantine approximation

This work is motivated by problems on simultaneous Diophantine approximation on manifolds, namely, establishing Khintchine and Jarńık type theorems for submanifolds of Rn. These problems have attracted a lot of interest since Kleinbock and Margulis proved a related conjecture of Alan Baker and V.G. Sprindžuk. They have been settled for planar curves but remain open in higher dimensions. In this...